Specifying the Remote Control of Valves in an Explosion Test Environment

We present parts of the speci cation of a program to remote control and monitor di erent devices, especially valves, in an explosion test environment. The program was developed within an industrial national project called CATC carried out in PTB, the German federal institute of weights and measures. The CATC information system supports various activities of di erent user groups that are responsible for testing and certifying explosion proof electrical equipment in PTB. Our approach is based on the formal object-oriented speci cation language Troll. We describe the advantages of the use of the formal method in our project.